Unifying Requirements and Code: an Example

Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the feasibility of such an approach, the case study reported here takes a classic example from the requirements engineering literature and describes it using a programming language framework to express both domain and machine properties. The paper describes the solution, discusses its benefits and limitations, and assesses its scalability.Comment: 13 pages; 7 figures; to appear in Ershov Informatics Conference, PSI, Kazan, Russia (LNCS), 201

BENCHOP–SLV: the BENCHmarking project in Option Pricing–Stochastic and Local Volatility problems

In the recent project BENCHOP–the BENCHmarking project in Option Pricing we found that Stochastic and Local Volatility problems were particularly challenging. Here we continue the effort by introducing a set of benchmark problems for this type of problems. Eight different methods targeted for the Stochastic Differential Equation (SDE) formulation and the Partial Differential Equation (PDE) formulation of the problem, as well as Fourier methods making use of the characteristic function, were implemented to solve these problems. Comparisons are made with respect to time to reach a certain error level in the computed solution for the different methods. The implemented Fourier method was superior to all others for the two problems where it was implemented. Generally, methods targeting the PDE formulation of the problem outperformed the methods for the SDE formulation. Among the methods for the PDE formulation the ADI method stood out as the best performing one

GrassPlot v. 2.00 – first update on the database of multi-scale plant diversity in Palaearctic grasslands

Abstract: GrassPlot is a collaborative vegetation-plot database organised by the Eurasian Dry Grassland Group (EDGG) and listed in the Global Index of Vegetation-Plot Databases (GIVD ID EU-00-003). Following a previous Long Database Report (Dengler et al. 2018, Phyto- coenologia 48, 331–347), we provide here the first update on content and functionality of GrassPlot. The current version (GrassPlot v. 2.00) contains a total of 190,673 plots of different grain sizes across 28,171 independent plots, with 4,654 nested-plot series including at least four grain sizes. The database has improved its content as well as its functionality, including addition and harmonization of header data (land use, information on nestedness, structure and ecology) and preparation of species composition data. Currently, GrassPlot data are intensively used for broad-scale analyses of different aspects of alpha and beta diversity in grassland ecosystems

Incidence and prevalence of patellofemoral pain: a systematic review and meta-analysis

Background: Patellofemoral pain is considered one of the most common forms of knee pain, affecting adults, adolescents, and physically active populations. Inconsistencies in reported incidence and prevalence exist and in relation to the allocation of healthcare and research funding, there is a clear need to accurately understand the epidemiology of patellofemoral pain. Methods: An electronic database search was conducted, as well as grey literature databases, from inception to June 2017. Two authors independently selected studies, extracted data and appraised methodological quality. If heterogeneous, data were analysed descriptively. Where studies were homogeneous, data were pooled through a meta-analysis. Results: 23 studies were included. Annual prevalence for patellofemoral pain in the general population was reported as 22.7%, and adolescents as 28.9%. Incidence rates in military recruits ranged from 9.7 – 571.4/1,000 person-years, amateur runners in the general population at 1080.5/1,000 person-years and adolescents amateur athletes 5.1% - 14.9% over 1 season. One study reported point prevalence within military populations as 13.5%. The pooled estimate for point prevalence in adolescents was 7.2% (95% Confidence Interval: 6.3% - 8.3%), and in female only adolescent athletes was 22.7% (95% Confidence Interval 17.4% - 28.0%). Conclusion: This review demonstrates high incidence and prevalence levels for patellofemoral pain. Within the context of this, and poor long term prognosis and high disability levels, PFP should be an urgent research priority

Reverse Engineering Distributed Algorithms

Recently, formal approaches to reverse engineering have received considerable attention as a means of creating correct high level specifications. We show how a formal approach to reverse engineering can be applied when constructing distributed systems, eg. if we want to reuse an existing algorithm, but in a di#erent environment, or develop a new distributed algorithm that is somehow similar to an existing one. We introduce a formal approach to reverse engineering that is dedicated to distributed systems. Our approach is based on a technique we call coarsement. The idea is that an implementation is stepwise turned into a high level specification through a number of intermediate coarsement steps that abstract away the details while preserving the behaviour of the implementation. 1 Introduction The process of analysing a system in order to identify its components and their interrelationships is called reverse engineering. One result of the analysis could be a high level specification o..